CZT Support for Z Extensions
نویسندگان
چکیده
Community Z Tools (CZT) is an integrated framework for the Z formal specification language. In this paper, we show how it is also designed to support extensions of Z, in a way that minimises the work required to build a new Z extension. The goals of the framework are to maximise extensibility and reuse, and minimise code duplication and maintenance effort. To achieve these goals, CZT uses a variety of different reuse mechanisms, including generation of Java code from a hierarchy of XML schemas, XML templates for shared code, and several design patterns for maximising reuse of Java code. The CZT framework is being used to implement several integrated formal methods, which add object-orientation, real-time features and process algebra extensions to Z. The effort required to implement such extensions of Z has been dramatically reduced by using the CZT framework.
منابع مشابه
Formal Analysis in Model Management: Exploiting the Power of CZT
Software engineering diagrams are hard to verify and formally analyse, often due to inadequately defined diagram semantics: the semantics often does not enable formal analysis, or may be underspecified to a degree that does not allow useful properties to be checked. The AUtoZ tools (jamesrobertwilliams.co.uk/autoz.php) provide formalisation in the style of commercially-acceptable model manageme...
متن کاملCZT: A Framework for Z Tools
The Community Z Tools (CZT) project is an open-source Java framework for building formal methods tools for Z and Z dialects. It also includes a set of tools for parsing, typechecking, transforming and printing standard Z specifications in LTEX, Unicode or XML formats. This paper gives an overview of the CZT framework, including an introduction to its visitor design pattern that makes it possibl...
متن کاملThe Chirp x-Transform Algorithm
A computational algorithm for numerically evaluating the z-transform of a sequence of N samples is discussed. This algorithm has been named the chirp z-transform (CZT) algorithm. Using the CZT algorithm one can efficiently evaluate the z-transform at M points in the z-plane which lie on circular or spiral contours beginning at any arbitrary point in the z-plane. The angular spacing of the point...
متن کاملComparison between the Ccd Czt and the Digital Fft
The CCD analog transversal filter Is a tremendously cost-effective component In terms of its simplicity compared to equivalent diqltal hardware. In view of this, the chirp z-transform (CZT) algorithm for performing spectral analysis is ideally suited to ccn implementation because, in this algorithm, the bulk of the computation Is performed in a transversal filter. The CCD CZT has some performan...
متن کاملApplication of Image Reconstruction by Means of Chirp z-Transform
The optical C T (Computerized Tomography), which utilises light transmitted through a semi-opaque object extends vision to the inside of objects. The projection profiles of the optical C T are smeared due to the scattering of light in a translucent medium. In the image reconstruction for MRI (Magnetic Resonance Imaging), FID (Free Induction Decay) signals consisting of decaying sinusoids inevit...
متن کامل